Oana Andrei And NotRoumanie
List of bibliographic references
Number of relevant bibliographic references: 11.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 003669 | Oana Andrei [Royaume-Uni] ; Helene Kirchner [France] | A Port Graph Calculus for Autonomic Computing and Invariant Verification |
| 003A32 | Oana Andrei [France] ; Hélène Kirchner [France] | A Higher-Order Graph Calculus for Autonomic Computing |
| 003D71 | Oana Andrei [France] | A Rewriting Calculus for Graphs: Applications to Biology and Autonomous Systems |
| 003E43 | Oana Andrei [France] ; Hélène Kirchner [France] | A Higher-Order Graph Calculus for Autonomic Computing |
| 003F00 | Oana Andrei [France] ; Hélène Kirchner [France] | A Biochemical Calculus Based on Strategic Graph Rewriting |
| 004075 | Oana Andrei [France] ; Hélène Kirchner [France] | Strategic Port Graph Rewriting for Autonomic Computing |
| 004724 | Oana Andrei [France] ; Hélène Kirchner [France] | Graph Rewriting and Strategies for Modeling Biochemical Networks |
| 004852 | Oana Andrei [France] ; Hélène Kirchner [France] | A Rewriting Calculus for Multigraphs with Ports |
| 005084 | Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France] | Non-intrusive formal methods and strategic rewriting for a chemical application |
| 005431 | Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France] | Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application |
| 006546 | Oana Andrei [France] | Chemical Rules and Term Rewriting |
| This area was generated with Dilib version V0.6.33. |  |